Quasi-empiricism in mathematics